Nuzzo, Pierluigi: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (51)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Platform-based mixed signal design: Optimizing a high-performance pipelined ADC

Pierluigi Nuzzo, Fernando De Bernardinis, Alberto Sangiovanni Vincentelli

Журнал:

Analog Integrated Circuits and Signal Processing

Рік:

2006

Мова:

english

Файл:

PDF, 1.01 MB

english, 2006

Design Automation for Smart Building Systems

Jia, Ruoxi, Jin, Baihong, Jin, Ming, Zhou, Yuxun, Konstantakopoulos, Ioannis C., Zou, Han, Kim, Joyce, Li, Dan, Gu, Weixi, Arghandeh, Reza, Nuzzo, Pierluigi, Schiavon, Stefano, Sangiovanni-Vincentelli

Журнал:

Proceedings of the IEEE

Рік:

2018

Мова:

english

Файл:

PDF, 5.16 MB

english, 2018

A Contract-Based Methodology for Aircraft Electric Power System Design

Nuzzo, Pierluigi, Huan Xu,, Ozay, Necmiye, Finn, John B., Sangiovanni-Vincentelli, Alberto L., Murray, Richard M., Donze, Alexandre, Seshia, Sanjit A.

Журнал:

IEEE Access

Рік:

2014

Мова:

english

Файл:

PDF, 10.07 MB

english, 2014

pH-controlled release of auxin plant hormones from cucurbit[7]uril macrocycle

Nuzzo, Assunta, Scherman, Oren A, Mazzei, Pierluigi, Piccolo, Alessandro

Журнал:

Chemical and Biological Technologies in Agriculture

Рік:

2014

Мова:

english

Файл:

PDF, 440 KB

english, 2014

In situ photo-polymerization of soil organic matter by heterogeneous nano-TiO2and biomimetic metal-porphyrin catalysts

Nuzzo, Assunta, Madonna, Elisa, Mazzei, Pierluigi, Spaccini, Riccardo, Piccolo, Alessandro

Журнал:

Biology and Fertility of Soils

Рік:

2016

Мова:

english

Файл:

PDF, 518 KB

english, 2016

Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach

Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Murray, Richard M.

Журнал:

INCOSE International Symposium

Рік:

2015

Мова:

english

Файл:

PDF, 1.22 MB

english, 2015

[ACM Press the 54th Annual Design Automation Conference 2017 - Austin, TX, USA (2017.06.18-2017.06.22)] Proceedings of the 54th Annual Design Automation Conference 2017 on - DAC '17 - Optimized Design of a Human Intranet Network

Moin, Ali, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Rabaey, Jan M.

Рік:

2017

Мова:

english

Файл:

PDF, 686 KB

english, 2017

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks

Shoukry, Yasser, Chong, Michelle, Wakaiki, Masashi, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A., Hespanha, JOÃo P., Tabuada, Paulo

Журнал:

ACM Transactions on Cyber-Physical Systems

Рік:

2018

Мова:

english

Файл:

PDF, 944 KB

english, 2018

[ACM Press the 2019 International Symposium - San Francisco, CA, USA (2019.04.14-2019.04.17)] Proceedings of the 2019 International Symposium on Physical Design - ISPD '19 - From Electronic Design Automation to Cyber-Physical System Design Automation

Nuzzo, Pierluigi

Рік:

2019

Мова:

english

Файл:

PDF, 1.97 MB

english, 2019

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations

Fayyazi, Arash, Shababi, Soheil, Nuzzo, Pierluigi, Nazarian, Shahin, Pedram, Massoud

Рік:

2019

Мова:

english

Файл:

PDF, 283 KB

english, 2019

[IEEE 2019 IEEE Secure Development (SecDev) - Tysons Corner, VA, USA (2019.9.23-2019.9.25)] 2019 IEEE Cybersecurity Development (SecDev) - System-Level Framework for Logic Obfuscation with Quantified Metrics for Evaluation

Menon, Vivek V., Kolhe, Gaurav, Schmidt, Andrew, Monson, Joshua, French, Matthew, Hu, Yinghua, Beerel, Peter A., Nuzzo, Pierluigi

Рік:

2019

Мова:

english

Файл:

PDF, 1.42 MB

english, 2019

Chromosome rearrangements in normal fibroblasts from xeroderma pigmentosum homozygotes and heterozygotes

Alessandra Casati, Miria Stefanini, Rosa Giorgi, Pierluigi Ghetti, Fiorella Nuzzo

Журнал:

Cancer Genetics and Cytogenetics

Рік:

1991

Мова:

english

Файл:

PDF, 675 KB

english, 1991

[IEEE 2009 IEEE Radio Frequency Integrated Circuits Symposium (RFIC) - Boston, MA, USA (2009.06.7-2009.06.9)] 2009 IEEE Radio Frequency Integrated Circuits Symposium - A 0.1–5GHz Dual-VCO software-defined ∑Δ frequency synthesizer in 45nm digital CMOS

Nuzzo, Pierluigi, Vengattaramane, Kameswaran, Ingels, Mark, Giannini, Vito, Steyaert, Michiel, Craninckx, Jan

Рік:

2009

Мова:

english

Файл:

PDF, 773 KB

english, 2009

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Robustness in analog systems: Design techniques, methodologies and tools

Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto

Рік:

2011

Мова:

english

Файл:

PDF, 4.88 MB

english, 2011

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Contract-based design of control protocols for safety-critical cyber-physical systems

Nuzzo, Pierluigi, Finn, John B., Iannopollo, Antonio, Sangiovanni-Vincentelli, Alberto L.

Рік:

2014

Мова:

english

Файл:

PDF, 688 KB

english, 2014

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Mixed-Signal Design Space Exploration of Time-Interleaved A/D Converters for Ultra-Wide Band Applications

Nuzzo, Pierluigi, Nani, Claudio, Saponara, Sergio, Fanucci, Luca, Van der Plas, Geert

Рік:

2008

Мова:

english

Файл:

PDF, 383 KB

english, 2008

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Optimal load management system for Aircraft Electric Power distribution

Maasoumy, Mehdi, Nuzzo, Pierluigi, Iandola, Forrest, Kamgarpour, Maryam, Sangiovanni-Vincentelli, Alberto, Tomlin, Claire

Рік:

2013

Мова:

english

Файл:

PDF, 350 KB

english, 2013

[IEEE 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - Singapore (2014.01.20-2014.01.23)] 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC) - ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification

Karthik, Aadithya V., Ray, Sayak, Nuzzo, Pierluigi, Mishchenko, Alan, Brayton, Robert, Roychowdhury, Jaijeet

Рік:

2014

Мова:

english

Файл:

PDF, 1.07 MB

english, 2014

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Contract-based design of control protocols for safety-critical cyber-physical systems

Nuzzo, Pierluigi, Finn, John B., Iannopollo, Antonio, Sangiovanni-Vincentelli, Alberto L.

Рік:

2014

Мова:

english

Файл:

PDF, 688 KB

english, 2014

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Library-based scalable refinement checking for contract-based design

Iannopollo, Antonio, Nuzzo, Pierluigi, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Рік:

2014

Мова:

english

Файл:

PDF, 544 KB

english, 2014

[ACM Press the 2014 International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis - CODES '14 - Metronomy

Guo, Liangpeng, Zhu, Qi, Nuzzo, Pierluigi, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto, Lee, Edward A.

Рік:

2014

Мова:

english

Файл:

PDF, 1.92 MB

english, 2014

Structural recognition of lignin isolated from bioenergy crops by subcritical water: ethanol extraction

Savy, Davide, Mazzei, Pierluigi, Roque, Ricardo, Nuzzo, Assunta, Bowra, Steve, Santos, Regina

Журнал:

Fuel Processing Technology

Рік:

2015

Мова:

english

Файл:

PDF, 1.04 MB

english, 2015

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Mixed-signal design space exploration of time-interleaved A/D converters for ultra-wide band applications

Nuzzo, Pierluigi, Nani, Claudio, Fanucci, Luca, Saponara, Sergio, Van der Plas, Geert

Рік:

2008

Мова:

english

Файл:

PDF, 265 KB

english, 2008

[ACM Press the 46th Annual Design Automation Conference - San Francisco, California (2009.07.26-2009.07.31)] Proceedings of the 46th Annual Design Automation Conference on ZZZ - DAC '09 - Contract-based system-level composition of analog circuits

Sun, Xuening, Nuzzo, Pierluigi, Wu, Chang-Ching, Sangiovanni-Vincentelli, Alberto

Рік:

2009

Мова:

english

Файл:

PDF, 264 KB

english, 2009

[IEEE 2015 IEEE International Conference on Mechatronics and Automation (ICMA) - Beijing, China (2015.8.2-2015.8.5)] 2015 IEEE International Conference on Mechatronics and Automation (ICMA) - Design optimization of the control system for the powertrain of an electric vehicle: A cyber-physical system approach

Lv, Chen, Zhang, Junzhi, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto, Li, Yutong, Yuan, Ye

Рік:

2015

Мова:

english

Файл:

PDF, 1.03 MB

english, 2015

[ACM Press the 2nd ACM International Conference - Seoul, South Korea (2015.11.04-2015.11.05)] Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments - BuildSys '15 - A Contract-based Framework for Integrated Demand Response Management in Smart Grids

Jin, Baihong, Nuzzo, Pierluigi, Maasoumy, Mehdi, Zhou, Yuxun, Sangiovanni-Vincentelli, Alberto

Рік:

2015

Мова:

english

Файл:

PDF, 1.07 MB

english, 2015

Humic-like bioactivity on emergence and early growth of maize (Zea maysL.) of water-soluble lignins isolated from biomass for energy

Savy, Davide, Cozzolino, Vincenza, Nebbioso, Antonio, Drosos, Marios, Nuzzo, Assunta, Mazzei, Pierluigi, Piccolo, Alessandro

Журнал:

Plant and Soil

Рік:

2016

Мова:

english

Файл:

PDF, 795 KB

english, 2016

[IEEE 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014) - Lausanne, Switzerland (2014.10.19-2014.10.21)] 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) - Are interface theories equivalent to contract theories?

Nuzzo, Pierluigi, Iannopollo, Antonio, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Рік:

2014

Мова:

english

Файл:

PDF, 673 KB

english, 2014

[IEEE 2015 American Control Conference (ACC) - Chicago, IL, USA (2015.7.1-2015.7.3)] 2015 American Control Conference (ACC) - Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving

Shoukry, Yasser, Puggelli, Alberto, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Tabuada, Paulo

Рік:

2015

Мова:

english

Файл:

PDF, 268 KB

english, 2015

[IEEE 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Austin, TX, USA (2015.11.2-2015.11.6)] 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - A mixed discrete-continuous optimization scheme for Cyber-Physical System architecture exploration

Finn, John, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto

Рік:

2015

Мова:

english

Файл:

PDF, 912 KB

Bajaj, Nikunj, Nuzzo, Pierluigi, Masin, Michael, Sangiovanni-Vincentelli, Alberto

Рік:

2015

Мова:

english

Файл:

PDF, 383 KB

english, 2015

Secure State Estimation for Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

Shoukry, Yasser, Nuzzo, Pierluigi, Puggelli, Alberto, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Tabuada, Paulo

Журнал:

IEEE Transactions on Automatic Control

Рік:

2017

Мова:

english

Файл:

PDF, 2.59 MB

english, 2017

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Scalable lazy SMT-based motion planning

Shoukry, Yasser, Nuzzo, Pierluigi, Saha, Indranil, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo

Рік:

2016

Мова:

english

Файл:

PDF, 396 KB

english, 2016

[ACM Press the 54th Annual Design Automation Conference 2017 - Austin, TX, USA (2017.06.18-2017.06.22)] Proceedings of the 54th Annual Design Automation Conference 2017 on - DAC '17 - ArchEx

Kirov, Dmitrii, Nuzzo, Pierluigi, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto

Рік:

2017

Мова:

english

Файл:

PDF, 848 KB

english, 2017

[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - Stochastic contracts for cyber-physical system design under probabilistic requirements

Li, Jiwei, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto, Xi, Yugeng, Li, Dewei

Рік:

2017

Мова:

english

Файл:

PDF, 395 KB

english, 2017

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming

Shoukry, Yasser, Nuzzo, Pierluigi, Balkan, Ayca, Saha, Indranil, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo

Рік:

2017

Мова:

english

Файл:

PDF, 178 KB

english, 2017

[IEEE 2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017) - Xi'an (2017.8.20-2017.8.23)] 2017 13th IEEE Conference on Automation Science and Engineering (CASE) - Online computation of polytopic flexibility models for demand shifting applications

Jin, Baihong, Maasoumy, Mehdi, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto

Рік:

2017

Мова:

english

Файл:

PDF, 606 KB

english, 2017

[IEEE 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Dresden (2018.3.19-2018.3.23)] 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - CHASE: Contract-based requirement engineering for cyber-physical system design

Nuzzo, Pierluigi, Lora, Michele, Feldman, Yishai A., Sangiovanni-Vincentelli, Alberto L.

Рік:

2018

Мова:

english

Файл:

PDF, 199 KB

english, 2018

[ACM Press the 55th Annual Design Automation Conference - San Francisco, California (2018.06.24-2018.06.29)] Proceedings of the 55th Annual Design Automation Conference on - DAC '18 - Optimized selection of wireless network topologies and components via efficient pruning of feasible paths

Kirov, Dmitrii, Nuzzo, Pierluigi, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto

Рік:

2018

Мова:

english

Файл:

PDF, 1.35 MB

english, 2018

[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - Optimized Selection of Wireless Network Topologies and Components via Efficient Pruning of Feasible Paths

Kirov, Dmitrii, Nuzzo, Pierluigi, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto

Рік:

2018

Мова:

english

Файл:

PDF, 3.35 MB

english, 2018

Incidence of complications during intubation in high risk patients undergoing elective surgery: An observational, single-center, prospective study

Di Giannatale, Pierluigi, Spagnuolo, Alessandra, De Nuzzo, Daniela, Dell'atti, Ivan, Petrini, Flavia, Maggiore, Salvatore M.

Журнал:

Trends in Anaesthesia and Critical Care

Рік:

2018

Мова:

english

Файл:

PDF, 50 KB

english, 2018

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - DoS-Resilient Multi-Robot Temporal Logic Motion Planning

Sun, Xiaowu, Nambiar, Rohitkrishna, Melhorn, Matthew, Shoukry, Yasser, Nuzzo, Pierluigi

Рік:

2019

Мова:

english

Файл:

PDF, 236 KB

english, 2019

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures

Nuzzo, Pierluigi, Bajaj, Nikunj, Masin, Michael, Kirov, Dmitrii, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto L.

Журнал:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Рік:

2020

Файл:

PDF, 850 KB

2020

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design

Oh, Chanwook, Kang, Eunsuk, Shiraishi, Shinichi, Nuzzo, Pierluigi

Рік:

2019

Файл:

PDF, 360 KB

2019

Novel humo-pectic hydrogels for controlled release of agroproducts

Nuzzo, Assunta, Mazzei, Pierluigi, Drosos, Marios, Piccolo, Alessandro

Журнал:

ACS Sustainable Chemistry & Engineering

Рік:

2020

Файл:

PDF, 729 KB

2020